:: [a] -> [a] -> Bool package:utility-ht

Check whether two lists with different element types have equal length. It holds

\(Shape xs) (List ys) -> equalLength xs ys == (length xs == length ys)

but equalLength is more efficient.

lessOrEqualLength x y is almost the same as compareLength x y <= EQ, but

>>> lessOrEqualLength "" undefined
True

whereas compareLength [] undefined <= EQ = undefined.